Relevant Context Inference DCS - TR - 360 ∗
نویسندگان
چکیده
Relevant context inference (RCI) is a modular technique for flowand context-sensitive data-flow analysis of statically typed object-oriented programming languages such as C and Java. RCI can be used to analyze complete programs as well as incomplete programs such as libraries; this approach does not require that the entire program be memory-resident during the analysis. We show that RCI can handle exceptions. We also discuss application of RCI to unit testing of libraries and explain how the information computed by RCI can be used for generating relevant test cases. RCI is presented in the context of points-to analysis. The empirical evidence obtained from a prototype implementation argues the effectiveness of RCI.
منابع مشابه
Vasoactive intestinal peptide induces regulatory dendritic cells that prevent acute graft-versus-host disease while maintaining the graft-versus-tumor response.
Acute graft-versus-host disease (GVHD) is a major cause of morbidity and mortality in patients undergoing allogeneic bone marrow transplantation (BMT) for the treatment of leukemia and other immunogenetic disorders. The use of tolerogenic dendritic cells (DCs) that induce the generation/activation of regulatory T (Tr) cells for the treatment of acute GVHD following allogeneic BMT has been recen...
متن کاملCalibration of diffuse correlation spectroscopy with a time-resolved near-infrared technique to yield absolute cerebral blood flow measurements
A primary focus of neurointensive care is the prevention of secondary brain injury, mainly caused by ischemia. A noninvasive bedside technique for continuous monitoring of cerebral blood flow (CBF) could improve patient management by detecting ischemia before brain injury occurs. A promising technique for this purpose is diffuse correlation spectroscopy (DCS) since it can continuously monitor r...
متن کاملDifferentiation of Tr1 cells by immature dendritic cells requires IL-10 but not CD25+CD4+ Tr cells.
Dendritic cells (DCs) are specialized antigen-presenting cells that monitor the antigenic environment and activate naive T cells. The role of DCs is not only to sense danger but also to tolerize the immune system to antigens encountered in the absence of maturation/inflammatory stimuli. Indeed, if a naive T cell encounters its antigen on immature DCs (iDCs), it may differentiate into a T-regula...
متن کاملIsolation and Phenotyping of Normal Mouse Liver Dendritic Cells by an Improved Method
Introduction Dendritic cells (DCs) are bone marrow-derived cells, which migrate to lymphoid and non-lymphoid organs via blood. Liver DCs are believed to play an important role in the regulation of hepatic allograft acceptance. However, because of inherent difficulties in isolating adequate numbers of DCs from liver, limited information is available on the phenotype and functions of liver DCs. ...
متن کاملEfficient Logical Inference for Semantic Processing
Dependency-based Compositional Semantics (DCS) provides a precise and expressive way to model semantics of natural language queries on relational databases, by simple dependency-like trees. Recently abstract denotation is proposed to enable generic logical inference on DCS. In this paper, we discuss some other possibilities to equip DCS with logical inference, and we discuss further on how logi...
متن کامل